type A1 = /* 4 */ (
  | A
  | B
)[]
